Universal enveloping algebras of Leibniz algebras and (co)homology
نویسنده
چکیده
The homology of Lie algebras is closely related to the cyclic homology of associative algebras [LQ]. In [L] the first author constructed a "noncommutative" analog of Lie algebra homology which is, similarly, related to Hochschild homology [C, L]. For a Lie algebra g this new theory is the homology of the complex C,(g) ... ~ ~| g|-+ ... ~1 ~ k, whose boundary map d is given by the formula d(gl|174 = ~ (-1)J(gl@'"|174174174 " l<i<j<n Note that d is a lifting of the classical Chevalley-Eilenberg boundary map d: Ang A~-tg. One striking point in the proof of d 2 = 0 is the following fact: the only property of the bracket, which is needed, is the so-called Leibniz identity [x, [y, z]] = [[x, y], z]-[[x, z], y] , for allx, y, zEg. So, it is natural to introduce new objects: the Leibniz algebras, which are modules over a commutative ring k, equipped with a bilinear map [- ,-]:9 • 9 "-* g satisfying the Leibniz identity. Since the Leibniz identity is equivalent to the classical Jacobi identity when the bracket is skew-symmetric, this notion is a sort of "non-commutative" analog of Lie algebras. Hence for any Leibniz algebra there is defined a homology theory (and dually a cohomology theory) HL, (9): = H, (C, (9), d). The principal aim of this paper is to answer affirmatively the following question. Is HL, (resp. HL*) a Tor-functor (resp. Ext-functor)? This leads naturally to the search for a universal enveloping algebra of a Leibniz algebra. In Sect. 1 we give examples of Leibniz algebras and we show that the underlying module of a free Leibniz algebra is a tensor module. Then we define the notion of
منابع مشابه
On Restricted Leibniz Algebras
In this paper we prove that in prime characteristic there is a functor −p-Leib from the category of diassociative algebras to the category of restricted Leibniz algebras, generalizing the functor from associative algebras to restricted Lie algebras. Moreover we define the notion of restricted universal enveloping diassociative algebra Udp(g) of a restricted Leibniz algebra g and we show that Ud...
متن کاملDialgebra (co)homology with Coeecients
Dialgebras are a generalization of associative algebras which gives rise to Leibniz algebras instead of Lie algebras. In this paper we deene the dialgebra (co)homology with coeecients, recovering, for constant coeecients, the natural bar homology of dialgebras introduced by J.-L. Loday in L6] and denoted by HY. We show that the homology HY has the main expected properties: it is a derived funct...
متن کاملOn universal central extensions of Hom-Leibniz algebras
In the category of Hom-Leibniz algebras we introduce the notion of Hom-corepresentation as adequate coefficients to construct the chain complex from which we compute the Leibniz homology of Hom-Leibniz algebras. We study universal central extensions of Hom-Leibniz algebras and generalize some classical results, nevertheless it is necessary to introduce new notions of α-central extension, univer...
متن کاملAlgebraic Structure in the Loop Space Homology Bockstein Spectral Sequence
Let X be a finite, n-dimensional, r-connected CW complex. We prove the following theorem: If p ≥ n/r is an odd prime, then the loop space homology Bockstein spectral sequence modulo p is a spectral sequence of universal enveloping algebras over differential graded Lie algebras.
متن کاملA ug 2 00 6 Second homology groups and universal coverings of Steinberg Leibniz algebras of small characteristic
It is known that the second Leibniz homology group HL2(stln(R)) of the Steinberg Leibniz algebra stln(R) is trivial for n ≥ 5. In this paper, we determine HL2(stln(R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring. §
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992